theorem :: XPRIMES0:622

not 622 is prime