Añadiendo todo, hallamos que