# 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