theorem :: XPRIMES0:732

not 732 is prime