Si depet dimustrare chi custa operatzione est definida bene, ocupende•si de secuèntzias co-Cauchy.