藤原教授といえば可換環論を用いてTaylor-Wiles系を構成し、Fermat予想を総実体上に拡張したかたですよね?