1.8.2 Vastuväiteline tõestamine