An identity involving automorphisms of prime rings inspired by Posner's theorem

Let be a prime ring with centre , a non-zero Lie ideal of , and σ a non-trivial automorphism of such that for all . If , then it is shown that satisfies , the standard identity in four variables.