Every non-empty set of positive integers has a smallest element

Mathematical induction is a valid proof technique

The integers $\mathbb{Z}$ are well-ordered

The Euclidean algorithm terminates for positive integers