2. prime(X)
3.
W:. 0<W 
W<X (t:. X | t
W X | t)
4. a :
5. b :
6. X | a
b
7. x :
8. r :
X
9. a = x
X+r
10. y :
11. s :
X
12. b = y
X+s
13.
r = 0
s = 0
W:. 0<W W<X (t:. X | tW X | t)
b
X
X+r
X
X+s
r = 0
s = 0| By: |
s By SideProof { rearranging ab = xX+r+yX+s }
THEN ThinVars [a | b | x | y] |
| 1 |
X
5. s : X
6. r = 0
7. X | r s
s = 0 | 5 steps |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |