Jump to navigation Jump to search
When demonstrating a proof, it is frequently necessary to refer to the specification of the result which is to be proved.
This result often contains wording along the lines Suppose that ... or Let ...
It is convenient to refer back to these specifications during the course of the proof. To do that, the term by hypothesis is often used.