Esta demostración, más estricta, es la que se muestra a continuación: