theorem :: XPRIMES0:1602

not 1602 is prime