A mathematical treatment of inconsistency in the analytic hierarchy process · Study