Lema 7.5.2.