对于 \dot y = h(y) 且 h(y) > 0 对所有 y >= y_0 ，证明解是全局的当且仅当 （Osgood 准则）。