In re the two proofs of the sum of the first n integers. I was wondering in another connection what the relative proof strength of the `inductive' and the `explicit bijection' (proof Steve gives) proofs are?