Efectivamente, pues si formula_82, entonces formula_83 y formula_84, y por simetría, formula_85, luego por transitividad formula_86.