刘维尔定理
因此依据刘维尔定理，formula_57是常数函数。另一方面，formula_58，所以formula_59 综上可知，次线性整函数formula_20是线性函数。