HTML for theory.md

Just in case the MD doesnt compile to something nice.