theorem :: XPRIMES1:71

71 is prime