(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
des
dieses
Ü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 …. ]