Re: Hilbert space proof