[0022] Theorem 1·l (D criterion).

In $\Cat$, we have that a square $\vf : US \To VT$ in $\Cat$ is exact if and only if the square is exact.

This is evident using criteria 1·c·c [001Q], 1·f [001V] or Remark 1·i [001Y].