theorem :: XPRIMES0:1630

not 1630 is prime