theorem Th12:
  T is being_a_theory & X c= T implies Cn(X) c= T
by Def2;
