AFM.NR.4.6: Prove the Fundamental Theorem of Arithmetic, the Euclidean algorithm, and Fermat’s Little Theorem.