Se puede demostrar la equivalencia, simplificando la función, partiendo de: