モジュール拡張の問題における Ext 函子への応用