finish uniqueness proof in chap2
make some small modifications