theorem Th21:
  for p being QC-formula of A holds p is closed iff 'not' p is closed
by Th7;
