theorem :: XPRIMES0:734

not 734 is prime