theorem :: XPRIMES0:749

not 749 is prime