Page "Modularity theorem" Paragraph 15

The full Taniyama – Shimura – Weil conjecture was finally proved by,, and who, building on Wiles ' work, incrementally chipped away at the remaining cases until the full result was proved.

The now fully proved conjecture became known as the modularity theorem.