theorem :: XPRIMES0:684

not 684 is prime