"f" が "x" においてフレシェ微分可能ならば、"f" は "x" においてガトー微分可能かつ "g" は線型作用素 "a" ＝ "df"("x")とちょうど一致する。