# Help:Multiple Proofs

Jump to navigation
Jump to search

$\mathsf{Pr} \infty \mathsf{fWiki}$ strives not just to provide Proofs, but to present all possible proofs of each theorem.

## Page structure

This article is incomplete.In particular: exampleYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by expanding it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Stub}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

As with multiple definitions, the theorem statement is copied identically on the transcluded subpages, but not inside the `<onlyinclude> ... </onlyinclude>`

tags.

Pages that deviate from this structure have to be refactored accordingly.

### Sources

A source backing up a proof is only placed at the corresponding transcluded proof page, not on the main page.

## Special Cases

This article, or a section of it, needs explaining.In particular: if proofs that do special cases can be put on the same pageYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

## Multiple Proof Outlines

## Giving Specific Names

This article, or a section of it, needs explaining.In particular: if a proof gets a specific name (e.g. Proof Using AM-GM), should the corresponding subpages get a similar specific name?You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

## Partially coinciding proofs

*See also Help:Splitting Sources*

## Sources

If a proof originates from a source work, the source has to be placed on the same subpage as the proof. If the source mentions a theorem without proving it, it has to be placed on the main page of the theorem.