Decomposition of Mal'cev-Neumann division algebras with involution.
Let be a prime ring of char with a nonzero derivation and let be its noncentral Lie ideal. If for some fixed integers , for all , then satisfies , the standard identity in four variables.