>>200
N_2をf(a)の近傍とすると(1)より f(N_1)⊂N_2 となる a の近傍N_1がとれる
このとき、a∈(N_1)^i （A^i は集合Aの内点集合を表す）
これの逆像を考えると
N_1⊂f^(-1)(f(N_1))⊂f^(-1)(N_2)　より a∈(N_1)^i⊂(f^(-1)(N_2))^i だから
f^(-1)(N_2) は aの近傍である