От интервю с директора на АЕЦ "Фукушима" на 20-ти декември 2012 година:
"Уверявам ви, че няма никакви причини за безпокойство. При нас всичко е надеждно! Точно вчера дойде екип елитни програмисти от Индия и напълно обновиха нашето програмно обезпечение, базирано на новата операционна система на Майкрософт..."
Във всеки ден от годината има повод за празник.
Доказателство:
Да допуснем противното: нека има поне един ден в годината, в който няма повод. Тогава множеството на дните в годината без повод е изброимо и непразно, следователно то притежава минимален елемент - най-ранния ден в годината без повод. Ако пък и това не е повод да му цапнеш една... Достигнахме до противоречие с допускането, което доказва теоремата.