Update project.tex

It's not much, just to see how it works. Unfortunately, I haven't been able to compile
it, so please try to do that. I used some Lemma, Corollary and Theorem
environment (without proof). I added also some questions.