Update redMex02.tex