Proofs
When writing your own proof or critiquing someone's proof you need to remember the following.
- A proof is a presentation.
- The theorem should be stated.
- The argument type should be stated if not direct (contradiction, cases, etc.)
- Any objects or notations should be explained before they are used.
- Theorems are never referred to as Lemma 2739 (they have names just like you).
- Correct grammar should be used at all times.
- The presentation should aid understanding not hinder it.
- A proof is logical.
- Every proof starts with the conditions and works logically toward the conclusion.
- Every statement has a reason which is explicitely stated.
- These reasons must be definitions or previously proven theorems.
- Proofs never "assume" anything.
- "Let" and "suppose" are not synonyms.