Формальное доказательство утверждения "семь пятниц на неделе"

По мотивам студенческого "творческого" доказательства простого алгебраического факта, коллега предложила доказательство жизненное и понятное даже не-математикам.

Итак, возьмем к примеру февраль. В феврале четыре понедельника и четыре пятницы. Следовательно:

Количество(понедельников)=Количество(пятниц)

Перенесем в одну сторон:

Количество(понедельников)-Количество(пятниц)=0

Вынесем "Количество" за скобки:

Количество(понедельников-пятниц)=0

Поскольку Количество само по себе нулю не равняется, можем сократить:

понедельников-пятниц=0

И опять переносим:

понедельников=пятниц

Проделав аналогичную процедуру для вторников, сред и прочих дней недели, получаем формальное алгебраическое доказательство того, что на неделе семь пятниц.