2. 2
x
3.
(
i:{2..x
}. i | x)
4. b :
5. |b| | x
6. |b| ~ b
7. |b|
x
8.
(2|b| & |b|<x)
9.
|b| = 0
|b| = 1 
|b| = x
x
(i:{2..x}. i | x)
x
(2|b| & |b|<x)
|b| = 0
|b| = 1 |b| = x| By: |
  ((A & B)  A B) on [ (2|b| & |b|<x) ] |
None
About:
 |  |  |  |  |  |  |  |  |