Lema 15.4.1.