Our kind of entertainment.

Sunday evening entertainment of the week: proving that addition is commutative.