ABC問題を証明できるとか言ってたけど