 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Rigor
editThe proof need a bit more clarification Staticgloat (talk) 20:23, 20 January 2021 (UTC)
Revision
editHello, In response to the Staticgloat's request for clarification, I generated a revision of the proof suitable for a high school or college student to understand. First, 3 simple lemmas are constructed. Next the proof is provided as a simple sequence of substitutions, rewrites and reductions, each proof step introduced by a simple statement. I will revise in the near future. If there are any concerns, please contact me so we can collaborate to improve this article. Thanks.TMM53 (talk) 18:57, 26 May 2024 (UTC)