Във всеки ден от годината има повод за празник.
Доказателство:
Да допуснем противното: нека има поне един ден в годината, в който няма повод. Тогава множеството на дните в годината без повод е изброимо и непразно, следователно то притежава минимален елемент - най-ранния ден в годината без повод. Ако пък и това не е повод да му цапнеш една... Достигнахме до противоречие с допускането, което доказва теоремата.