Update 00_Introduction.tex

Proof-red.