А как именно доказывается тождество ( ∂ μ U ^ ) U ^ + = − U ^ ∂ μ U ^ + {\displaystyle \ (\partial _{\mu }{\hat {U}}){\hat {U}}^{+}=-{\hat {U}}\partial {\mu }{\hat {U}}^{+}} ? Maxim 06:22, 3 сентября 2013 (UTC).