improve bibliography
added general results section

added the generalization of Panraksa's lemma, with some discussion on
its consequences
Merge remote-tracking branch 'origin/master'

Conflicts:
	report/bibliography.bib
	report/report-th.tex