階数・退化次数の定理