非線形方程式の局所一意性の検証