theorem :: XPRIMES0:759

not 759 is prime