>>451
証明できることはわかっている
求められているのは証明そのもの