This is a proof, with a visualization, of the classic number-theoretic proof of the division theorem/division algorithm. The video includes a "visual demonstration" of the existence part of the theorem (where we also implicitly show how it is an algorithm). We also investigate the well-ordering principle (or least integer principle) and discuss existence and uniqueness style proofs. #math #proof #manim #numbertheory #visualmath #mtbos #visualproof #division #introductiontoproofs #divisiontheorem #divisionalgorithm #existence #uniqueness #subtraction If you liked this video, please consider liking and subscribing and checking out a few of my other videos. To learn more about animating with manim, check out: _________________________________ Music in this video: 日本庭園 (Japanese Garden) by Alex-Productions | Music promoted by Creative Commons Attribution 3.0 Unported License