theorem :: XPRIMES2:6089

6089 is prime