準素分解
Hilbertの零点定理