思ったより

思ったより集合体であることを示すのに時間がかかっている。
補題一つに入力が一日かかってしまう。