相転移で無数のドメインが発生してるかどうかくらい分かるんじゃないか?