theorem :: XPRIMES0:740

not 740 is prime