theorem
  Middle a,m,b implies Middle b,m,a by Satz3p2,Satz2p2;
