Пусть имеем целое число a, рассмотрим следующее разложение a=3p+q, где q-остаток от деления a на 3 и может равняться 0,1,2. Возведем a в квадрат и получим a^2=3p^2+6pq+q^2, как видно, только q^2 не делится на 3. q^2 может быть 0,1 и 4. Остаток от деления 4 на 3 - 1, значит у a^2 могут быть остатки 0 и 1. У 3k-1 остаток от деления -1, что соответствует остатку 2, а значит a^2=3k-1 - неверное утверждение
