Mathematical induction
Recursive definition
Division algorithm
Euclidean algorithm
Fundamental theorem of arithmetic