Uniform logical new proofs for the Daniell-Stone theorem and the Riesz representation theorem