Izzo, A. J. A Simple Proof of the Existence of Haar Measure on Amenable Groups. Math. Scand. 2017, 120, 317-319.