theorem
  between a,b,c implies between c,b,a by Satz3p2;
