Ryll-Nardzewskiの不動点定理
Ryll-Nardzewskiの定理より、コンパクト群上のハール測度の存在が従う。