exact proof

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