可除性の逆定理