theorem :: XPRIMES0:147

not 147 is prime