added completion being a group, added section about Cauchy sequences