Cauchy完備化で十分?