Und ich kann nun die Beweise abkürzen
indem ich etwa statt der 2ten Gleichung schreibe
     ?0'(3 × 2 = 5 + 1)
    statt der zweiten
     02'(3 + 2 = 5 + 1) ((2 + 2)) ˃ 5 u.s.w.