theorem :: XPRIMES0:1606

not 1606 is prime