Added solutions to exercises 2.12 and 2.13
Added .gitignore
Better description of terms used in the proof