Theorem Verification of the Quantifier-Guided Dominance Degree with the Mean Operator for Additive Preference Relations el 18 de Junio del 2022