否定证明

fǒudìng zhèngmíng

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