DerivedFrom
割り切る