Demostración de que M_n es martingala en 2.3.