2. b :
3. prime(a
b)
4. 2
ab
5.
ab = a
6.
ab = b
7. 0<a
8. 0<b
9. a
ab
10. b
ab
i:{2..(ab)
}. i | ab
b)
ab
ab = a
ab = b
ab
ab
i:{2..(ab)}. i | ab| By: |
a = 1 Asserted ... |
| 1 |
a = 1 | 2 steps |
| 2 |
a = 1
i:{2..(ab)}. i | ab | 1 step |
About:
 |  |  |  |  |  |