negative proof

Доведення від протилежного