theorem :: XPRIMES0:1610

not 1610 is prime