DerivedFrom
完全性