theorem :: XPRIMES0:1622

not 1622 is prime