英語版wiki見るとstrongとかweakって言葉は出てくるからそれを訳したのかね

But if a strong effective form of theabc conjecture is correct, the proof of Fermat's Last theorem becomes much shorter and easier as follows:[5]