https://s3-us-west-2.amazonaws.com/secure.notion-static.com/04f8f34a-31c5-4ce6-ace4-6267fde46cb6/Lecture_12_Section_A.pdf
Recursive Modular Exponentiation
Mathematical Induction
Strong Induction
Division Algorithm
Well Ordering