theorem :: XPRIMES0:754

not 754 is prime