theorem :: XPRIMES1:4027

4027 is prime