theorem :: XPRIMES0:608

not 608 is prime