(Ver el teorema A).