Если взять какое-то число x, то при делении на 3 он может давать три остатка: 0, 1 и 2. Квадрат этого числа, т.е x^2 может давать остатки 0^2 = 0, 1^2 = 1 и 2^2 = 4 если число дает остаток 4, то это значит, что оно дает остаток как у 4 - то есть 1 (число 4 при делении на 3 дает остаток 1)