theorem :: XPRIMES0:738

not 738 is prime