Lema 14.1.2.