Заводите Форд в Детройт. В кабинета на шефа влиза човек и крещи:
- Еврика! Толкова години работя по този електродвигател и ето накрая го направих. Пристигам тук от Ню Йорк със собствения си електромобил!
- И колко ви струваше пътуването? - пита шефа.
- Четири хиляди и седем долара. Седем долара за електроенергия, а останалите за удължител.
Във всеки ден от годината има повод за празник.
Доказателство:
Да допуснем противното: нека има поне един ден в годината, в който няма повод. Тогава множеството на дните в годината без повод е изброимо и непразно, следователно то притежава минимален елемент - най-ранния ден в годината без повод. Ако пък и това не е повод да му цапнеш една... Достигнахме до противоречие с допускането, което доказва теоремата.