theorem :: XPRIMES0:840

not 840 is prime