結局、abcは定理になったの?