ПОЧЕМУ при возведении в (n-1)-ю степень поцифровое РАВЕНСТВО (в базе n)
2^{nn}==(xn^2+2^{nn})(yn^2+1) mod n^3, [т.е. по трехзначным окончаниям]
где n – простое, n>2, x и y цифры [и x+2y==0 mod n], 0<y<0,
превращается в НЕРАВЕНСТВО [и x+4y==0 mod n]?