Lykkelig tilstand for matematikere når de endelig indser hvorfor man oplagt ser hvordan en matematisk sætning bevises.