A phrasing system used especially in mathematics
, but can be further extended to other formal systems
, this method employs the following:
1. Write up the theorem
to be proven, using superfluous gestures
while reciting the exact wording used on the board.
2. Begin the proof
. Make sure to use the proper "Let x be..." or "Assume that..."
3. During the most critical arguments of the proof
, use phrases such as "Clearly this follows..." or "Certainly x must be..." or "Only a moron
couldn't see that..."
4. Draw out the final conclusion, Q.E.D.