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.