Teorema 15.3.22