theorem :: XPRIMES2:9059

9059 is prime