theorem :: XPRIMES0:1245

not 1245 is prime