2. prime(p)
3. 0 < p
m,n:
. m
m = pnn 
n = 02. prime(p)
3.
0 < p m,n:. mm = pnn n = 0
p:. prime(p) (m,n:. mm = pnn n = 0)
| 1 | 1. p: 2. prime(p) 3. 0 < p m,n:. mm = pnn n = 0 | 35 steps |
| 2 | 1. p: 2. prime(p) 3. 0 < p m,n:. mm = pnn n = 0 | 6 steps |
About:
 |  |  |  |  |  |  |