theorem :: XPRIMES0:603

not 603 is prime