First version of the final document.
Fix til main theorem.
Go head to fix the main document.
Moved the files into two level above.