theorem
  0_NN=1;
