論理数学の問題です。

1 peirce's lawの( ( A → B ) → A ) → A )をLEMか¬¬eを用いて証明せよ
2 baffling formulaの∃x ∀y ( P(x) → P(y))を証明せよ
ヒント : 一行目は

1 ∃x¬P(x)∨¬∃xP(x) LEM

とする。

ということです。が、どう考えても証明できないんです。どうか、ご教授お願いします。