Lema 4.6.1.