9.9 $\vdash P\Rightarrow P$

$$\begin{fitch} \par \fh P & H \\ \par \fa P & IT 1 \\ \par P \Rightarrow P & I$\Rightarrow$\ 1,2 \par \end{fitch}$$