Věta: Každé přirozené číslo lze v češtině vyjádřit pomocí třiceti slabik.
Důkaz: Předpokládejme opak. Pak musí existovat "nejmenší přirozené číslo, které nelze vyjádřit pomocí třiceti slabik." Pozorný čtenář si jistě všiml, že jsme ve výrazu v uvozovkách potřebovali k jeho vyjádření právě 24 slabik. To je spor a důkaz sporem je hotov.