theorem :: XPRIMES0:245

not 245 is prime