An identity involving automorphisms of prime rings inspired by Posner's theorem. Issue 3 (4th May 2018)