theorem :: XPRIMES0:650

not 650 is prime