Lema 11.6.2.