Two Proofs and One Algorithm Related to the Analytic Hierarchy Process. - Miron Pavlus; Rostislav Tomes; Lukás Malec (J. Appl. Math., 2018)