Automatic confirmation of exhauistive use of information on a given equationтезисы доклада