陰関数定理のところらへんで出てくるから教科書嫁。