Add the convergence proof of K-means algorithm

This pull request is for adding the convergence proof of K-means algorithm in #16.