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