theorem
  for TS being non empty TopSpace holds TS is T_2 & TS is compact
  implies TS is regular
by Th6,Th8;
