theorem :: XPRIMES0:750

not 750 is prime