Prove that if M is a dense linear subspace of a separable Hilbert space H, then H has an orthonormal basis consisting of elements in M. Does the same result hold for arbitrary dense subsets of H?