Да­вай­те за­ме­тим, что все числа в левой части усло­вия дают оста­ток 1 при де­ле­нии на 7. Зна­чит, t² даёт оста­ток 3 при де­ле­нии на 7. Пе­ре­бо­ром всех воз­мож­ных остат­ков легко убе­дить­ся, что та­ко­го не бы­ва­ет.