Divisibility, the Euclidean algorithm, and modular arithmetic, aimed at Fermat's classic prime-modulus theorem.