Lema 15.1.1 (Lema–C).