
theorem
  not (for T being non empty TopSpace holds T is Frechet implies T is
  first-countable) by Th32,Th33;
