theorem :: XPRIMES1:83

83 is prime