ハウスドルフが１９１４年に証明したのは，「Ｋを球面としたとき，

　　Ｋ＝Ｑ＋Ａ＋Ｂ＋Ｃ

と分解できる．Ｑは可算集合，Ａ，Ｂ，Ｃは互いに合同，ＡとＢ＋Ｃは互いに合同」である．

　この証明では可算集合の存在は決して無視できない．有限分解合同と可算分解合同を混同しているというのが阪本氏の説明である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　集合論の測度の問題は最終的には実数の性質に帰着されるのかもしれないが，この手の話はよくわからないというのが本音である．

　また，２次元と３次元の本質的な違いがどこから出てくるのかもよくわからない．デュドニーのカンタベリー・パズルやタングラムは分解合同の例であるが，任意の多角形は同じ面積の正方形と分解合同である（ボヤイ・ゲルビンの定理）．しかし，３次元の多面体分割では，ボヤイ・ゲルビンの定理に類似するものは成り立たないというのがデーン・シドラーの有限分解合同定理である．

　バナッハ・タルスキーの有限分解合同定理はデーン・シドラーの有限分解合同定理を基にしてはいるが，似て非なるものなのだろうか等々，疑問はつきない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝