[0WC]Siano \((X_ i,d_ i)\) e \((X,d)\) come prima in [0W9]↺↻. Se tutti gli spazi \((X_ i,d_ i)\) sono completi, si provi che \((X,d)\) è completo.
