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