theorem :: XPRIMES0:1758

not 1758 is prime