theorem :: XPRIMES0:742

not 742 is prime