reserve AS for AffinSpace;
reserve a,b,c,d,a9,b9,c9,d9,p,q,r,x,y for Element of AS;
reserve A,C,K,M,N,P,Q,X,Y,Z for Subset of AS;

theorem Th47:
  q in K & q in M & K is being_line & M is being_line implies K,M,
  M is_coplanar & M,K,M is_coplanar & M,M,K is_coplanar
proof
  assume q in K & q in M & K is being_line & M is being_line;
  then ex X st K c= X & M c= X & X is being_plane by Th38;
  hence thesis;
end;
