theorem :: XPRIMES0:1604

not 1604 is prime