山口人生様は世界で一番、集合論が判っている。
既存のプロの誰よりも判っている。
だから消滅解答が出た。