theorem :: XPRIMES0:138

not 138 is prime