ad hoc proof

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