展开 刘维尔证明原函数不是初等函数