обоснованное доказательство

Мат. valid demonstration