theorem :: XPRIMES1:43

43 is prime