The SlugMath Wiki is under heavy development!
State/Mutual divisibility of natural numbers implies equality
From SlugmathWiki
Proposition: (Mutual divisibility of natural numbers implies equality) Suppose that $a,b \in \NN$ . If $a$ divides $b$ and $b$ divides $a$, then $a = b$.
Logical Connections
This statement logically relies on the following definitions and statements: Def/Natural number, Def/Divides
The following statements and definitions rely on the material of this page: State/Greatest common divisors can be computed pairwise
To visualize the logical connections between this statements and other items of mathematical knowledge, you can visit the following cluster(s), and click the "Visualize" tab: Clust/Basic number theory
