theorem :: XPRIMES0:758

not 758 is prime