1.5.15.
Daß p.~p eine Contradiction ist zeigt daß ~p p widerspricht.