Prove that for every number in ${1, 2, ..., p-1}$ there exists another within the same set such that their product is congruent to $1$ $mod$ $p$.
Prove existence of multiplicative inverse modulo p when p is prime