Bizonyítsuk be, hogy minden 17-nél nagyobb pozitív egész szám előállítható három 1-nél nagyobb egész szám összegeként, ahol az összegben szereplő számok páronként relatív prímek. Igazoljuk, hogy a 17 nem állítható elő ugyanilyen módon.
 
Megoldás: Igaz az állítás