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 (p. 155), Prentice-Hall, Inc. 1980