有没有高人可以为以下的论证写出形式证明：
~(P⊃P)⊃~P                     /∴P

1. ~(P⊃P)⊃~P                 /∴P
2. ~~P⊃~~(P⊃P)             1, Trans.
3. P⊃(P⊃P)                      2, D.N.
4. P⊃(~P v P)                   3, Impl.
5. ~P v (~P v P)                4, Impl.
6. (~P v ~P ) v P               5, Assoc.
7. P v ~P                           6, Taut.
8. ? ? ? ? ? ........

小妹愚昧，做来做去只能做到 P v ~P !

如何可将P v ~P推到结论P呢？