---

Step * of Lemma ctrex1-calculation

small-ctrex1() 10^1143 ~ 23
BY
{ Subst' small-ctrex1() 10^1143 ~ eval N = 10^126 in
                                  eval M = 10^1143 in
                                    un-ctrex1(un-ctrex1((r1)/N)) M 0 }

1
.....equality..... 
small-ctrex1() 10^1143 ~ eval N = 10^126 in
                         eval M = 10^1143 in
                           un-ctrex1(un-ctrex1((r1)/N)) M

2
eval N = 10^126 in
eval M = 10^1143 in
  un-ctrex1(un-ctrex1((r1)/N)) M ~ 23

---

Latex:

---

Latex:
small-ctrex1()  10\^{}1143  \msim{}  23


By

---

Latex:
Subst'  small-ctrex1()  10\^{}1143  \msim{}  eval  N  =  10\^{}126  in
                                                                eval  M  =  10\^{}1143  in
                                                                    un-ctrex1(un-ctrex1((r1)/N))  M  0

---

Home Index