>>489
随分前に測度論のスレでも引用したが、

S.Banach, ``Sur le probleme de la mesure,'' Fund. Math., t.IV (1923), p.7--33.

2^R. 2^{R^2}上での運動群で不変な（ゼロでない）有限加法的測度の
存在証明。完全加法的ではないことに注意。