Lema 15.2.5.