Lemma 13.3. |h(P)ĥ(P)| is bounded for PE().