theorem :: XPRIMES2:7583

7583 is prime