added more clarification for density evolution of simple gallager decoding. added proof for first theorem in chapter 3