>>377の主張がよくわからんのだが、>>377は、「既知の予想が証明されても、それは新しい知見にはならない」という立場なのか?