theorem Satz3p11p3pb:
  between a,b,c & between b,p,c implies between4 a,b,p,c
    by Satz3p5p1,Satz3p5p2;
