Guss' lmma n. 【数学】 ガウスの補題《原始多項式の積はまた原始多項式であるという定理》.