展开 不定积分原函数的存在性