theorem
  between a,b,c & between a,p,b implies between4 a,p,b,c
    by Satz3p6p1,Satz3p6p2;
