Some people believe that a theorem is proved when a logically correct proof is given; but some people believe a theorem is proved only when the student sees why it is inevitably true. The author tends to belong to this second school of thought.

Coding and Information Theory, Chapter 9 (p. 155), Prentice-Hall, Inc. 1980