互いに干渉しない幾何集合群 [math]\displaystyle{ \mathcal{G} }[/math] に対して、自明でない独立幾何変数 [math]\displaystyle{ \alpha,\ \beta \in \mathcal{G} }[/math] をとる。このとき、これらにある数学的処理 [math]\displaystyle{ \kappa }[/math] を施すと、 [math]\displaystyle{ \alpha,\ \beta }[/math] のいずれにも干渉しない独立幾何変数 [math]\displaystyle{ \varepsilon \in \mathcal{G} }[/math] を導くことができることを示し、 [math]\displaystyle{ \kappa \colon \mathcal{G} \to \mathcal{G} }[
