Legyen n kettőhatvány. Igazoljuk, hogy ekkor minden 1≤k≤n-1 egészre (nk) páros. Igaz-e az állítás megfordítása is?