A Hilbert space proof of equivalence of the Granger and Sims notions of causality