theorem
  between2 a,A,b implies between2 b,A,a by GTARSKI3:14;
