by Proposition 3.10. Hence (a ∗ x) ∗ x ≤ (b ∗ (a ∗ x)) ∗ (b ∗ x). Using Lemma 3.6, we have (b ∗ (a ∗ x)) ∗ (b ∗ x) ∈ I. Since b ∈ I, by (I4), we obtain (b ∗ (a ∗ x)) ∗ x ∈ I. Thus (I2) holds. Therefore I is an ideal of X.
โดยข้อเสนอ 3.10 . ดังนั้น(∗ X )∗ X :≤( B ∗( a ∗ X ))∗( B ∗ x ) การใช้ lemma 3.6 เรามี ( B ∗( a ∗ X ))∗( B ∗ X )∈ I . B ∈นับตั้งแต่ผมโดย( I 4 )เราได้รับ( B ∗( a ∗ X ))∗ x ∈ I .ดังนั้น( I 2 )ผู้ถือหุ้น. ดังนั้นฉันเป็นอย่างดีเยี่ยมของ X