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.