Lema 1.