At:
sqrt prime irrational
1
1
1
1
1
2
1
1.
p: 
2.
prime(p)
3.
0 < p
4.
m: 
5.
m1:. m1 < m 
(n:. m1
m1 = pnn n = 0)
6.
n:
7.
mm = pnn
8.
n = 0
9.
m = (m 
p)p+(m mod p)
10.
(m mod p) < p
11.
m
n
12.
0 < nn
13.
nmnn
14.
mmmn
15.
mn = nm
n < m
By:
Inst
Thm* a,b:, n:. ab nanb
[2;p;nn]
Generated subgoal:
| 1 | 2p | 5 steps |
About:
