Lema 1.6.10.3