Lema 15.2.3.