Overspecifying a mathematical argument
Using the right notation is key to proving theorems elegantly. To get this message across, Van Gasteren and Dijkstra explained why they were dissatisfied with the notation that Courant and Robbins had used in a particular proof concerning the prime decomposition of a natural number m. The notation under scrutiny was:
"m = p1 p2 ... pr = q1 q2 ... qs"
where the p's and q's denote prime numbers. According to Van Gasteren and Dijkstra, the previous equations are too specific due to the usage of the subscripts: Courant and Robins had represented two sequences of primes instead of two bags of primes. Since a sequence is a bag with an imposed ordering and this ordering is not needed in the proof, Courant and Robins's notation was too specific. The ordering of the primes is not needed, the subscripts are pure overhead. This "clumsiness" becomes apparent when reading the conclusion of Courant and Robbins:
"Hence the prime decomposition of m must be unique, aside from the order of the factors." --cited by Van Gasteren and Dijkstra in AvG5/EWD788 - 7