theorem Th11:
  Cn(X) is being_a_theory
by Th2,Th3,Th4,Th5,Th6,Th7,Th8,Th9,Th10;
