theorem
  between a,b,d & between b,c,d implies between a,b,c & between a,c,d
    by Satz3p5p1,Satz3p5p2;
