A Weierstrass theorem for real, separable Hilbert spaces