theorem :: XPRIMES1:617

617 is prime