theorem ::Baaa_1
  between a,a,b by Satz3p1,Satz3p2;
