separable problems that partly builds on the one by Mitchell et al. for the convergence of the
MDM algorithm to find the point of a convex set closest to the origin. Our proof relies in a
simple derivation of SMO that we also present here and, while less general, it is
considerably simpler than previous ones and yields algorithmic insights into the working of
SMO.