Completions of Number Fields Are Local Fields