Normality Criteria of Meromorphic Functions That Share a Holomorphic Function

Let F be a family of meromorphic functions defined in D, let phi((sic)0), a(0), a(1), ... , a(k-1) be holomorphic functions in D, and let k be a positive integer. Suppose that, for every function f is an element of F, f not equal 0, P(f) = f((k)) + a(k-1) f((k-1)) + ... + a(1) f' + a(0) f not equal 0 and, for every pair functions (f, g) is an element of F, P(f), P(g) share phi, then F is normal in D.