2.
x1:. x1<x 
2
x1 
prime(x1) (
i,j:{2..x1
}. x1 = i
j & prime(i))
3. 2
x
4.
prime(x)
5. i : {2..x
}
6. j : {2..x
}
7. x = i
j
8.
prime(i)
9. n : {2..i
}
10. m : {2..i
}
11. i = n
m
12. prime(n)
13. x = n
mj
mj 
{2..x}
x1:. x1<x 2x1 prime(x1) (i,j:{2..x1}. x1 = ij & prime(i))
x
prime(x)
}
}
j
prime(i)
}
}
m
mj
mj {2..x}| By: |
|
| 1 |
2mj | 1 step |
| 2 |
mj<x | 2 steps |
About:
 |  |  |  |  |  |  |  |  |  |