1: \begin{proof} 

2: 

3:  For $1\le k \le n$ one obtains (to do it rigorously one has to consider finite

4: differences)  

5: \[  \partial_i a^{ij}(t,x,v,Dv) \partial_j (\partial_k v)  = -\partial_i (\partial_u F \partial_k v + \partial_{x_k} F ) + \partial_{x_k} f   \] 

6: and, by the H\"older regularity result of De Giorgi, Nash and Moser 

7: \[  \partial_k u \in C^s \] 

8: for some $s>0$.  Now we apply Caccioppoli's inequality in balls $B_r(t,x)$ to get 

9: \[   \Vert D_{t,x} \partial_k u \Vert_{L^2(B_r)} \le c r^{\frac{n}2 +s -1} \] 

10: and hence 

11: \[ \Vert \partial_k F^i \Vert_{L^2(B_r)} \le c r^{\frac{n}2+s-1}. \] 

12: This in turn gives 

13: \[ \Vert \partial_t F^0 \Vert_{L^2(B_r)} \le c r^{\frac{n}2+s-1} \] 

14: and hence together 

15: \[ \Vert  F^0 - F^0_{B_r(x)} \Vert_{L^2} \le c r^{\frac{n}2+s}. \] 

16: In particular 

17: \[  |F^0_{B_{2^{-k}}(x)} - F^0_{B_{2^{1-k}}(x)} | \le c 2^{-ks} \] 

18: and 

19: \[ F^0 \in C^s \] 

20: By assumption we can solve 

21: \[ F^0(t,x,u,Du) = f \] 

22: for $\partial_t u $ and get 

23: \[ \partial_t u = \phi(t,x,u, D'u,f) \] 

24: where $\phi$ is analytic in all variables besides $t$. Thus 

25: \[  \partial_t u \in C^s_*.  \] 

26: \end{proof}