In An effective power sharpening of a theorem of Liouville in 1971 he proved the following theorem:
Sa isang epektibong kapangyarihan hasa ng isang teorama ng Liouville sa 1971 siya proved ang mga sumusunod na teorama: