I was just looking at the result that I think you need in Hormander's book Analysis of linear partial differential operators I: distribution theory and Fourier analysis, chapter six. I have written down Theorem 6.1.5 on p136 in my notes but I don't have the book to hand. Roughly if f is a test...