theorem :: XPRIMES0:1650

not 1650 is prime