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