theorem
  between5 a,b,c,d,e implies between5 e,d,c,b,a by Satz3p2;
