Fixed subsection and bibliography
Subsubsection -> Subsection
Adding proof of the lemma fixed #79