theorem :: XPRIMES1:41

41 is prime