>>591
でもそれを証明する方法は無いでしょ