theorem :: XPRIMES1:1987

1987 is prime