Mixed Characteristic Local Fields Are Finite Extensions of $\mathbb{Q}_p$