
theorem Th16:
  for T being non empty TopSpace, A being Subset of T, x being object
  holds x in Der A iff x is_an_accumulation_point_of A
by Def3;
