theorem
  Cn(Cn(X)) = Cn(X)
by Lm1,Th13;
