PROOF STRUCTURE

������ State theorem to be proved in symbolic form.

������ Mark beginning with word "Proof:"

������ Introduce 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 already known)

������� -����� 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.

������ Conclusion - Mark end with Q.E.D or Q or 

Use� template provided in .doc format or .pdf format