I love foundational math

[matthewdaly]

I just proved that multiplication of the natural numbers is commutative. It took a half a page (and I lost track of how many pieces of scratch paper to work out the details), and that includes assuming that addition is associative and commutative and cutting out as much formalistic dreck as I could. Just to prove that ab=ba for the positive integers only.

So, if you were concerned about that, you can relax.