Read the definition of divisibility (Definition 1.1.1 in the textbook), and prove that for natural numbers k and n , if k does not divide n^2 then k cannot divide n either. (The intuitive answer is very trivial, but we want a concise, formal answer.)