theorem
  for F be Subset-Family of Y st F = {} holds F is T_3;
