theorem
  Ln is being_line or Ln is being_point by Th6;
