Changes

I would like to remove the statement about elementary proofs being those that cannot be broken down into smaller proofs. This statement doesn't make much sense to me. What so we mean by a 'smaller' proof? What do we mean by breaking a proof down into other proofs? Typically the proof of a long theorem is broken down by proving many of the steps as a lemma. This is done to make the proof of the main theorem easier to comprehend. This can be done with any theorem whose proof has more than one step. Any non-trivial theorem is bound to have many steps so I don't think that this is what the author intends. [[User:AndyJM|AndyJM]] 12:05, 9 January 2009 (EST)

I would like to remove the statement about elementary proofs being those that cannot be broken down into smaller proofs. This statement doesn't make much sense to me. What so we mean by a 'smaller' proof? What do we mean by breaking a proof down into other proofs? Typically the proof of a long theorem is broken down by proving many of the steps as a lemma. This is done to make the proof of the main theorem easier to comprehend. This can be done with any theorem whose proof has more than one step. Any non-trivial theorem is bound to have many steps so I don't think that this is what the author intends. [[User:AndyJM|AndyJM]] 12:05, 9 January 2009 (EST)