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<x
x1:. x1<x 2x1 prime(x1) (i,j:{2..x1}. x1 = ij & prime(i))
x
prime(x)
}
}
j
prime(i)
}
}
m
mj
mj<x| By: |
i:{2...}, j: . j<ij Using:[n | mj] ... |
| 1 |
mj   | 1 step |
About:
 |  |  |  |  |  |  |  |  |  |