dualityがあると割り算できるってどういうことですか?