では数学的に定義されたものは必ず割り切れるということになりますね