Inverse Completion is Commutative Semigroup