leading ideal

基本解释猪想