Tome $\varphi(x)$ = sup $b[a^{-1}[D_x]]$, onde $D_x = \downarrow x \cap a[\mathbb{P}]$.