theorem :: XPRIMES0:15

not 15 is prime