結果 : codomain of modulus function