theorem :: XPRIMES1:3

3 is prime