9.5 解悖变换的存在性