Lema 11.5.5.