theorem to be proved in symbolic form.
beginning with word "Proof:"
initial variables and explain
- what kind of objects they are (i.e. which
set they belong to)
- what other properties they have
• Proof body
- start from assumptions (i.e. what is
- work step by step towards conclusion
- justify every step with either an
assumption, a previously derived step, an axiom, an already proved theorem, or
a valid argument form.
- Mark end with Q.E.D or Q
Use template provided in .doc format or .pdf