theorem :: XPRIMES0:753

not 753 is prime