theorem :: XPRIMES0:1605

not 1605 is prime