仅仅是后面五个定理的推导文字转WAV音频