話題の ABC 予想をちょっとだけ証明してみた。