# formal proof

Prove as theorem of $\mathrm{P_{\mathrm{W}}}$ without making use of the fourth axiom $f\supset p$:
$[p\supset r]\supset[[[p\supset q]\supset r]\supset r]$.