theorem :: XPRIMES1:29

29 is prime