dowód nie wprost angolul

proof by contradiction▼noun
proof of a statement adduced by deriving a contradiction from the statement's negation