theorem
  between4 a,b,c,d implies between4 d,c,b,a by Satz3p2;
