Deriving information from inconsistent knowledge bases: A completeness proof for $^\eta\rhd_\eta$"