"X" formula_1 "Y" formula_1 "Z" entonces "X" formula_1 "Z"