si aplicamos este combinator a cualesquiera dos términos "x" y "y", reduce como sigue: