A proof technique used to derive a conclusion by assuming the conclusion and then showing that it implies some previously unknown fact.
A proof technique used to derive a conclusion by assuming the conclusion and then showing that it implies some previously unknown fact.