Let F be a family of functions meromorphic in a domain D, let m, n k , k be three positive integers and b be a finite nonzero complex number. Suppose that, (1) for eachf∈F, all zeros of f have multiplicities at least k ; (2) for each pair of functions f, g ∈F,P(f)H(f) and P(g)H(g) share b, where P(f) and H(f) were defined as (1.1) and (1.2) and nk ≥ max 1≤i≤k-1 {n i }; (3) m ≥ 2 or nk ≥ 2, k ≥ 2, then F is normal in D.
