Answers are grounded in this paper and cite their sources.
Paul Halmos expressed [3, p. 110] the general dissatisfaction with the usual proofs of this famous and important theorem. They all make it seem like an accidental product of a computation. A more conceptual proof was devised by N. P. Dekker. In spite of the elegance of his proof, the one offered below may have some claim to be regarded as "the reason the theorem is true".
No takes yet. Share an insight, caveat, or question.
Chandler Davis (1971) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: