Izzo AJ. A simple proof of the existence of Haar measure on amenable groups. Math. Scand. 2017;120(2):317-319. doi:10.7146/math.scand.a-25626