Combinando los dos argumentos, llegamos a la equivalencia: