\begin{fitchproof}