Xを空でないコンパクトハウスドルフ空間、f:X→Xを連続写像とします

FnはXの空でない閉集合列、F1⊃F2⊃…
とした時
(1)
∩(n=1〜∞)Fnは空でない

(2)
A=∩(n=1〜∞)f^(n)(X) とすると f(A)=Aとなる
この解説お願いします 1番は直感的にはわかるのですが、厳密な証明がわかりません 2番は方針もわかりません
解説お願いします