坪井俊の多様体入門の最初の方に乗ってた気がする。
多様体バージョンではなく微積分の範疇で。