Я должен вычислить значение
[ [Дмю,Дν] ,Дλ]Ар.
Это равно
[Дмю,Дν]ДλАр−Дλ( [Дмю,Дν] ] )Ар− [Дмю,Дν]ДλАр= -Дλ( [Дмю,Дν] )Ар.
Итак, вопрос: могу ли я официально принять
Ар
под знаком производной для использования тождества
[Дмю,Дν]Ар"="рромк νАо
и, после этого, взять
Ао
вне производной? Боюсь, что нет, но надеюсь, что это возможно.