“…Since any element which is invertible in A (+) is also invertible in A, then d is a derivation with invertible values of associative algebra A, so, by [1] A is either a division algebra D, or a D 2 , the 2 × 2 matrix algebra over a division algebra D. [6] it follows that if dim Z(A) A > 4, then < H(A, * ) >= A. Wedderburn-Artin theorem implies that if dim Z(A) A ≤ 4, then A is either a division algebra over Z(A) or Z(A) 2 , which correspondingly matches the cases 1) and 2), so from now on we may assume that d can be extended to a derivation of A. As a derivation of A, d also has invertible values, so by [8] A is an algebra of type 1), 2) or 3). The lemma is now proved.…”