exp_R 0 = 1 by Lm11;