Effective ABC からEffective Mordell が出て、FLTの別証明も出る?