theorem Th59:
  X is being_plane implies X <> {}
proof
  assume X is being_plane;
  then ex a,b,c st a in X & b in X & c in X & not LIN a,b,c by Th34;
  hence thesis;
end;
