theorem :: XPRIMES0:1612

not 1612 is prime