theorem :: XPRIMES1:607

607 is prime