Sidro ureng haroh meubuktikan bahwa operasi nyo terdefinisi deungen get, meurusan deungen urutan co-Cauchy.