5.5 如何进行符号积分变换