>>969
零因子を持たないこと