Lema 11.3.4.