Dedekind reals are a final field, Cauchy reals are the least Cauchy complete field