add chap2 with basic introduction to the proof(s)