theory.tex

I finished my part of the theory.