Update 8.tex

Corollaire and figure incoming