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.
George Pólya (1968). “Mathematical discovery: on understanding, learning, and teaching problem solving”
