theorem
  between a,A,b implies b in Plane(A,a)
  proof
    assume
A1: between a,A,b;
    then b in {x where x is POINT of S: A out x,a or x in A or between a,A,x};
    hence thesis by A1,Th32;
  end;
