>>307
証明のいかがわしい部分はもう解消されたのか?