I said it was nitpicking because it is only remotely relevant to the article, but the distinction does matter in mathematics. See for instance this post[0], whe

I said it was nitpicking because it is only remotely relevant to the article, but the distinction does matter in mathematics. See for instance this post[0], where this very proof is discussed in the comments. [0]: http://math.stackexchange.com/a/1688 http://math.stackexchange.com/a/1688