定理原意是除环的半自同构除了自同构和反自同构以外再也没有其它的了.
是华罗庚在1949年证明的.在这之前,最好的结果来自美国代数学家开普朗斯基.但他不但加了限制条件,而且证明的过程极其麻烦.有一天,他对华罗庚说:"你能简化我这个漂亮的证明吗?"华罗庚很不爽,结果直接简洁明了的证明了这个问题.