
theorem
  for T being TopSpace, A being Subset of T, x being object st x
  is_an_accumulation_point_of A holds x is Point of T;
