Separate goals from knowns
While writing a proof (as with any technical writing), it is often helpful to remind the reader where you are going. However, it is important to clearly indicate that this is what you are doing.
I often write "we want to show" (abbreviated WTS) to clearly indicate that I haven't already proved what I'm stating. Failing to do so can lead to a backwards proof. For example, while trying to prove , I shouldn't write something like
- everyis in
because the reader will believe that you are claiming what you are trying to prove is true on the very first line (remember, every claim should be obvious based on what came before). However, the following solves this problem:
Here, each sentence is obviously true: we obviously do want to prove every is in (we consider definitions to be "obvious")., and that is obviously the same as saying that