theorem :: XPRIMES2:6091

6091 is prime