野口潤次郎 「岡理論新入門: 多変数関数論の基礎」 裳華房 (2021年)

↑これですが,証明は丁寧ですか?