>>357
多項式abc予想の定式化 証明
(ABC定理 多項式は微分が使える)
1981年 ストーサーズ
1984年 メイソン

整数abc予想
1985年 マッサー. エステルレ予想