Ha a két tetszésszerinti $a$ és $b$ számot a számok külömbségével, $a-b$-vel elosztjuk, akkor egyenlő maradékot kapunk; mutassuk meg e tétel alapján, hogy ha az $a^m$ és $b^m$ kifejezéseket osztjuk $\left(a-b\right)$-vel, ugyancsak egyenlők a maradékok s hogy ennek alapján $a^m-b^m$ mindig osztható $\left(a-b\right)$-vel, bármilyen egész szám is $m$.