формальное доказательство

Formal proof