Tracial simplex of every unital C*-algebra is a Choquet simplex

C*-algebras are norm-closed self-adjoint subalgebras of bounded linear operators on a complex Hilbert space. Choquet simplex is a special type of compact convex set with a unique representation property. The goal of this thesis is to find a self-contained and easily accessible proof of the classical fact that the set of tracial states of a unital C*-algebra is a Choquet simplex.