A 26 betűből álló angol abc-ből készítünk legfeljebb tízbetűs karaktersorozatokat, amelyeket ,,szavaknak'' nevezünk. (Egy ,,szó'' készíthető akár csak egy betű felhasználásával, és két ,,szó'' különböző, ha legalább egy betűben eltérnek egymástól.) Igazoljuk, hogy az így kapott összes lehetséges ,,szavak'' száma osztható 27-tel.