theorem :: XPRIMES1:2963

2963 is prime