9.4 可容变换存在性证明