theorem :: XPRIMES0:737

not 737 is prime