theorem :: XPRIMES0:1766

not 1766 is prime