theorem :: XPRIMES0:646

not 646 is prime