Proof:
Supposed n is prime and that n|ab
therefore, n|a or n|b, but not both
Case 1: n|a and n does not divide b
therefore n|a^2
since n does not divide b, n does not divide b^2
Case 2: n|b and n does not divide a
therefore n|b^2
since n does not divide a, n does not divide a^2...