theorem :: XPRIMES0:1677

not 1677 is prime