theorem :: XPRIMES1:47

47 is prime