The analytical theorem contains the problem as already resolved on its own terms; the wholly external distinction that attaches to the two sides which it equates is so unessential that, as theorem, it would appear to be a trivial identity.