具有有穷级或下级的亚纯函数

设ｆ（ｚ）和ｇ（ｚ）为非常数亚纯函数，ｆ（ｚ）的下级μ（ｆ）为有穷非整数，且ｆ（ｚ）和ｇ（ｚ）具有两个ＣＭ分担值０和∞．如果存在两个判别的有穷非零复数ａ１和ａ２，满足Ｅｋ）（ａｊ，ｆ）＝Ｅｋ）（ａｊ，ｇ），ｊ＝１，２，及Θ（０，ｆ）＋Θ（∞，ｆ）＋１ｋ＋１［δ（ａ１，ｆ）＋δ（ａ２，ｆ）］＞２ｋ＋１．则ｆ（ｚ）≡ｇ（ｚ）