theorem Th57:
  X is being_plane implies X '||' X
by Th28;
