theorem :: XPRIMES2:7159

7159 is prime