Ahora podemos reducir, por ejemplo: