theorem :: XPRIMES1:947

947 is prime