On Discrete Mathematics p - > (Q - > P) The original question is like this Non p - > (P - > q) P - > (Q - > P) How is it proved?

On Discrete Mathematics p - > (Q - > P) The original question is like this Non p - > (P - > q) P - > (Q - > P) How is it proved?

p V (p->q)
P V (non p V q)
one
P->(Q->P)
Non p V (Q - > P)
Non p V (non Q V P)
one
Non p - > (P - > q) P - > (Q - > P)