Lema 15.2.4.