もう別の人が別の方法でABC予想を解いた方が早くね?