theorem :: XPRIMES0:4

not 4 is prime