>>611
いや最初は「証明された」という話なので>>593
「証明されてない」というのは論点だろう