Lema 11.5.6.