theorem :: XPRIMES0:1640

not 1640 is prime