(a + b) ∙ (a + b) = a ∙ (a + b) + b ∙ (a + b)
     Dieser Übergang ist vermittels des Satzes .... gemacht worden &, wenn der Induktionsbeweis eine Rechtfertigung dieses Satzes ist, so ist er auch eine Rechtfertigung dieses || des Übergangs. || &, wenn der Induktionsbeweis eine Rechtfertigung dieses Satzes ist, auch vermittels dieses Beweises. || &, wenn der Induktionsbeweis ein Beweis dieses Satzes ist, dann ist er auch eine Rechtfertigung dieses Übergangs.