theorem :: XPRIMES0:1756

not 1756 is prime