A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. A kétféle betűből képezhető, elemből álló, egymástól különböző betűsorok száma , ezek az és elemek ismétléses -ed osztályú variációi. A nyelvben szóként használt, betűből álló betűsorok számát jelöljük -nel. (Természetesen csak az értékekről lehet szó.) Tekintsük azokat a betűsorokat, amelyek a nyelv egy -betűs szavából úgy állnak elő, hogy ennek egy betűjét megváltoztatjuk, és nevezzük ezek halmazát ‐ magával a szóval együtt ‐ a szó bokrának. Minden egyes betűben egyféle változtatás lehetséges, az -nak -ra cserélése vagy fordítva, így minden egyes szó bokra betűsorból áll. ‐ A nyelv szavaiból képzett bokrok száma ugyancsak . Minden egyes betűsor legföljebb egy bokorba tartozik bele. Ha ugyanis a betűsor az és szavak bokrába is beletartozna ‐ de ő maga nem szó ‐, akkor és csak két helyen (két betűben) különböznének egymástól ‐ az első változtatás -ből -t állítaná elő, a második pedig -ból -t ‐, ezt pedig a nyelv leírása kizárta. Így a bokrokba besorolt betűsorok száma pontosan , s mivel ez nem nagyobb a betűsorok számánál, azért a bokrok és velük együtt a nyelv szavainak számára valóban fennáll:
Megjegyzések. Eredményünkben egyenlőség csak , , , , , , mellett jöhet szóba, de az már jóval nehezebb kérdés, hogy sikerül-e pl. betűvel a maximális szót összeállítani. 2. Háromféle ,,betűt'', az , , jeleket megengedve a bokroknak legföljebb hibapontos totószelvény-kitöltsek felelnek meg, de ott minden egyes helyen -féle torzítás jön szóba. |