Update Theorem_Description.tex