This partial proof of the Sato-Tate conjecture uses Wiles 's theorem about modularity of semistable elliptic curves .
This partial proof of the Sato-Tate conjecture uses a theorem of Wiles .