結果 : what is codomain of modulus function