theorem :: XPRIMES0:735

not 735 is prime