theorem :: XPRIMES0:145

not 145 is prime