Existence and Uniqueness of Finite Fields