時枝がガベイ・オコナーの定理を知っていたか怪しい。知っていたらガベイ・オコナーの定理、無限帽子問題に言及してるはず。