ZADD KML: Niech x1x1 i x2x2 będą rozwiązaniami równania x2−1000x+9=0x2−1000x+9=0. Wynika stąd, że x31+x32x13+x23 jest liczbą całkowitą podzielną przez 125 999973 1000