If the proof starts from axioms, distinguishes several cases, and takes thirteen lines in the text book... it may give the youngsters the impression that mathematics consists in proving the most obvious things in the least obvious way.

Mathematical Discovery (ed. 1981)