Normal families and shared values of meromorphic functions

Let k ( ⩾ 2 ) be a positive integer, let F be a family of meromorphic functions in a domain D, all of whose zeros have multiplicity at least k + 1 , and let a ( z ) ( ≠ 0 ) , h ( z ) ( ≢ 0 ) be two holomorphic functions on D. If, for each f ∈ F , f = a ( z ) ⇔ f ( k ) = h ( z ) , then F is normal in D.