1. p⇒(q⇒p)
2. (p⇒(q⇒r))⇒((p⇒q)⇒(p⇒r))
jak na razie dochodzę do tego, iż, w 2) za r podstawiam p.. (reguła podst), a potem zapisuję to
w postaci:
(p,p⇒q)/q
czyli p⇒(q⇒p), (p⇒(q⇒p))⇒((p⇒q)⇒(p⇒p)) / (p⇒q)⇒(p⇒p)
czy następnie za q podstawiam z 1) q⇒p 
proszę o nakierowanie, bo nie za bardzo wiem co, gdzie i kiedy podstawiamy..