Remark 11.5.0.96 (Two-out-of-Six). Let $f: W_{} \rightarrow X_{}$, $g: X_{} \rightarrow Y_{}$, and $h: Y_{} \rightarrow Z_{}$ be morphisms of simplicial sets. If $g \circ f$ and $h \circ g$ are weak homotopy equivalences, then $f$, $g$, and $h$ are all weak homotopy equivalences.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$