theorem :: XPRIMES1:2

2 is prime