陰関数定理の系である階数定理って何の役に立つんですか?