Fixed-point lemma for normal functions