>512
それでは証明できていないことになります。

どうしてでしょうか?