Bebizonyítandó, hogy bármely k-val osztható szám szomszédjának bármely hatványa ugyancsak egy k-val osztható számnak szomszédja.