Lema 11.5.4.