Für jede Aussagenvariable ${\displaystyle {}p}$ kann man

${\displaystyle \vdash p\rightarrow p}$

ableiten, also insbesondere

${\displaystyle \Gamma \vdash p\rightarrow p.}$

${\displaystyle {}V}$

${\displaystyle {}\Gamma }$