theorem
  exp_R(th)>0 by Th53;
