Let B 1 , B 2 B_1, B_2 B1,B2 be Banach spaces, and F : U ( ⊂ B 1 ) → B 2 F: \mathfrak{U} (\subset B_1) \to B_2 F:U(⊂B1)→B2, if ∃ L : B 1 → B 2 \exist L: B_1 \to B_2 ∃L:B1→B2 a bounded linear operator ∣ ∣ F [ u + h ] − F [ u ] − L h ∣ ∣ B 2 / ∣ ∣ h ∣ ∣