theorem :: XPRIMES0:1772

not 1772 is prime