设ｆ为关于ψ０的Ｔｅｉｃｈｍｕｌｌｅｒ映照，若存在函数列｛ψｎ｝包含β（Ω），使得ｌｉｍ／ｎ→∞ψｎ（ｚ）＝ψ０（ｚ），ａ．ｅ．，ｌｉｍ／ｎ→∞∮「ｋ｜ψｎ｜－Ｒｅ（ｋｊψｎ）」ｄ．ｘｄｙ＝０，其中ｋｊ为ｆ的复特征，Ｒｅｉｃｈ证明ｆ是唯一极值映照，在此基础上，证明去掉ｆ为Ｔｅｉｃｈｍｕｌｌｅｒ映照......