theorem :: XPRIMES0:651

not 651 is prime