2. prime(p)
3. a :
k:, b:.
b-a = k
(e:({a..b
}
). a<b p | (
i:{a..b}. e(i)) (
i:{a..b}. p | e(i)))
k:, b:.
b-a = k
(e:({a..b}). a<b p | ( i:{a..b}. e(i)) (i:{a..b}. p | e(i)))| By: |
|
| 1 |
5. k1:.
5. k1<k 5.
5. ( b:.
5. (b-a = k1 5. (
5. (( e:({a..b}). a<b p | ( i:{a..b}. e(i)) (i:{a..b}. p | e(i))))
6. b :
7. b-a = k 8. e : {a..b }
9. a<b 10. p | ( i:{a..b}. e(i))
i:{a..b}. p | e(i) | 8 steps |
About:
 |  |  |  |  |  |
 |  |  |  |
 |