reserve AS for AffinSpace;
reserve a,a9,b,b9,c,d,o,p,q,r,s,x,y,z,t,u,w for Element of AS;
reserve A,C,D,K for Subset of AS;

theorem
  A // C & A // D & p in C & p in D implies C=D by Lm7,Th44;
