Question about existence of function with given derivatives

Let $f_n : U \rightarrow \mathbb R$ be a given sequence of functions of class $C^\infty$ on open subsets $U \subset \mathbb R^n$. Does there exist a function $F:\mathbb R \times U \rightarrow \mathbb R$ of class $C^\infty$ such that $$\frac{\partial^n f}{\partial t^n}(0, x)=f_n(x)$$ for $n=0,1,2,\ldots$ and all $x \in U ?$

-
This looks to me like a parametrised version of Borel's theorem. Am I interpreting it correctly? –  Loop Space Oct 8 '12 at 10:34
Thanks for help. I did not know earlier that it is Borel's lemma. –  user 12345 Oct 8 '12 at 10:49

Yes, but in Hormander books is assumed additionally that each $f_n$ has compact support. –  user 12345 Oct 8 '12 at 19:14