Fix subscripts in proof of Thm 10.4.4