Projekt:Semantische Organisation der Mathematik/Verschachtelte Darstellungsformen/Fakt mit Beweisklappe

Ein Textpaar bestehend aus einer Aussage (Fakt) und einem Beweis dafür wird mittels der Vorlage Vorlage:inputfaktbeweisklappe in einer schönen Form dargestellt, die sich gut zum drauf verweisen eignet (wenn irgendwo die Aussage verwendet wird; vor allem will man auf die Aussage verweisen, zugleich sollte aber auch deren Beweis zugänglich sein). Für ein Beispiel siehe

Polynomring (Körper)/Nullstellen/Linearer Faktor/Fakt mit Beweisklappe

Man kann also den Beweis ausklappen. Im Mittelpunkt steht die Aussage, auf die verwiesen wird, bei Bedarf liegt aber sofort ein Beweis zur Hand, und zwar ohne dass die Aussage verlassen wird.