Lema 15.4.2.