theorem :: XPRIMES1:1087

1087 is prime