Неожиданные проблемы

для гомологической алгебры у меня возникают -- например, доказать, что квадрат некоторого дифференциала равен нулю. Обычно это легко. Эту я решил, но теперь следующая -- доказать, что некоторый изоморфизм коммутирует с дифференциалом. Не получается.