theorem :: XPRIMES1:983

983 is prime