Lema 4.6.2.