Lema 10.3.2.