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.