nie wprost angolul

implied▼adjective
suggested without being stated directly

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