ab absurdo

геом (доказательство) от противного