Mathematics is being lazy. Mathematics is letting the principles do the work for you so that you do not have to do the work yourself.
In: Marion Walter and Tom O'Brien article, Mathematics Teaching, Memories of George Polya, Volume 116, September 1986 (p. 4)