Lema 14.1.4.