Added some of the preliminaries
Minor changes
Πρόσθεσα αποδείξεις
Added proofs