>>234
pro-finite groupを語れる人間が日本に何人いるか数えられそうなものだがw