Lemma 87.12.4. Let $\varphi : A \to B$ be an arrow of $\textit{WAdm}^{count}$. If $\varphi$ is taut and topologically of finite type, then $\varphi$ satisfies the condition defined in Lemma 87.12.1.

Proof. This is an easy consequence of the definitions. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).