text: Ленглендс использовал замену базы для доказательства тетраэдрального случая, а Таннел расширил его работу, покрыв октаэдральный случай; Уайлс использовал эти случаи в его доказательстве гипотезы Таниямы-Шимуры.