Primes, unique factorization
Euclidean algorithm, linear Diophantine equations
Inverses, Euler's totient function (&phi) , Fermat's little theorem, Wilson's theorem, primitive roots, Chinese remainder theorem
Combination law for solutions, existence of fundamental solution, Diophantine approximation
Norms, prime and units, factorization of integers in Z[i]
Rational parametrization of solutions, connections to Z[i].