theorem :: XPRIMES0:731

not 731 is prime