DerivedFrom
必要条件