theorem :: XPRIMES0:14

not 14 is prime