DerivedFrom
割り切れる