[ogogmad]

C([0,1]) is not a Hilbert space but a Banach space. Every Hilbert space is a Banach space, but not vice versa. The version of the theorem for Hilbert spaces is indeed a lot easier to prove than the one given in the article.

[turminal]

And that just proves my point about confusion :)

Thanks for the correction.