fixed indices in last proof of chapter 2