It was proposed by Jean-Pierre Serre and proven by Ken Ribet.
Otaksuma esitti Jean-Pierre Serre ja sen todisti Ken Ribet.