DerivedFrom
割り切れない