theorem :: XPRIMES0:649

not 649 is prime