| Die Voraussetzung ist korrekt notiert. |
| Die Behauptung ist korrekt notiert. |
| Der "nullte" Beweisschritt und seine Begründung ist korrekt. |
| Der erste Beweisschritt und seine Begründung ist korrekt. |
| Der zweite Beweisschritt und seine Begründung ist korrekt. |
| Der dritte Beweisschritt und seine Begründung ist korrekt. |
| Der vierte Beweisschritt und seine Begründung ist korrekt. |
| Der fünfte Beweisschritt und seine Begründung ist korrekt. |