theorem :: XPRIMES1:5087

5087 is prime