theorem :: XPRIMES0:602

not 602 is prime