theorem :: XPRIMES2:9901

9901 is prime