theorem :: XPRIMES1:5783

5783 is prime