Let x, y, z ∈ I with x∗(y ∗z), y ∈ I. Since (x∗(y ∗z))∗(y ∗(x∗z)) = (x∗(y ∗z))∗(x∗(y ∗z)) = 1, we have x ∗ z ∈ A(x ∗ (y ∗ z), y) ⊆ I. By Theorem 3.11, I is an ideal of X.
ปล่อยให้ X , Y และ Z ∈ผมกับ x∗ ( Y ∗z ), Y ∈ I .ตั้งแต่ที่( x∗ ( Y ∗z )∗( Y ∗( x∗z ))=( x∗ ( Y ∗z )∗( x∗ ( Y ∗z ))= 1 , เรามีตัว X ∗ Z ∈( x ∗( Y ∗ Z ), Y )⊆ I .โดยบทพิสูจน์ 3.11 ,ฉันเป็นอย่างดีเยี่ยมของ X