別スレで出てた話題なんですがABC予想の複素係数多項式版でメーソンストーサーズの定理というのがあるらしいんですがこれ歴史的にはどっちが先なんですか？
ググったら 関連してる ってそんなもんわかっとるわっていう情報しか出てきません。
どっちが先かご存知の方いません？