>>795
>「なんでこんなに要るのか」と、逆に「なんでこの5つで十分だと言えるのか」
この5つを満たす集合を具体的に作ることができるのとそれが1つしか無いからだよ