theorem :: XPRIMES2:7027

7027 is prime