Lema 13.4.4 (Lema–D).