>>560

ちなみにこれは Michael Spivak著『Calculus on Manifolds』に簡単に証明できると書いてある命題です。

確かに簡単ですが、証明せよと言われると行数が必要ですよね。