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