Veamos una demostración formal de lo anterior.