If n squared is a multiple of 3 must n be a multiple of 3?
My approach was to assume n is not a multiple of three and so is of the form 3k+1, 3k+2, then squaring shows that n squared is not a multiple of three, but I am just not sure if this establishes the converse, does it?