[0WC]Let \((X_ i,d_ i)\) and \((X,d)\) be as before in [0W9]↺↻. If all the spaces \((X_ i,d_ i)\) are complete, prove that \((X,d)\) is complete.
