This was proved by Mazur & Wiles (1984) for Q, and for all totally real number fields by Wiles (1990).
これは Mazur & Wiles (1984) により Q に対し証明され、すべての総実体に対しては Wiles (1990)により証明された。