theorem :: XPRIMES0:146

not 146 is prime