“…If where r, s then Proof If r = s , where r, s , then by adding (s + s') to the two sides, we get r , for all Again, since α is an automorphism on S, we get for all therefore on S. Lemma 2.5. [17] Let J be a nonzero Jordan ideal of S, then and Lemma 2.6.…”