>>791
そこはほぼ間違いないが証明するのが難しい