By definition
. Since we know that
, and we know that
since
so
so
so then
, evaluating the limit from the directional derivative, it evaluates to
we will show that , we know that and thus it is a constant funtion, this implies tha directional derivative is 0
Therefore we can se that