fixed a typo in theory.tex