Inverse Completion is Commutative Monoid