theorem :: XPRIMES0:1600

not 1600 is prime