theorem :: XPRIMES1:5693

5693 is prime