theorem :: XPRIMES0:39

not 39 is prime