>>6
面倒なことが起こりそうなので、それは命題ではないことにしよう。