diagonal proof

Мат. диагональное доказательство