Then 1 ∈ I by Lemma 3.3. Thus (I3)

Then 1 ∈ I by Lemma 3.3. Thus (I3) holds. Let
x, y, z ∈ X be such that x ∗ (y ∗ z) ∈ I and y ∈ I. Using Lemma 3.4, we get (y ∗ z) ∗ z ∈ I.
Now, let α := y ∗ z, β := z in

ผลลัพธ์ (ไทย) 1:

แล้ว 1 ∈ฉันโดยบทแทรก 3.3 จึง (i3) ถือหุ้น ให้
x, y, z ∈ x ดังกล่าวว่า x * (y * z) ∈ i และ y ∈ฉัน . ใช้บทแทรก 3.4 เราได้รับ (y * z) * ซี∈ i
ตอนนี้ขอα = y * ซี, β = ซีใน

ผลลัพธ์ (ไทย) 2:

แล้ว 1 ∈ฉัน โดยจับมือ 3.3 ดังนั้น (I3) ถือ ให้
x, y, z ∈ X ได้เช่น x ∗ (y ∗ z) ∈ที่ฉันและ y ∈ I. จับมือใช้ 3.4 เราได้รับ (y ∗ z) ∗ z ∈ I.
ให้α: y ∗ z β =: = z ใน

ผลลัพธ์ (ไทย) 3:

จากนั้น 1 ∈ผมโดย lemma 3.3 . ดังนั้น( I 3 )ผู้ถือหุ้น ปล่อยให้
X , Y และ Z ∈ x ได้รับว่า x ∗( Y ∗ z )∈ I และ Y ∈ I .ใช้ lemma 3.4 ,เรารับ( Y ∗ z )∗ Z ∈ I .
แล้วปล่อยให้กล้อง:= Y ∗ Z ,เฉพาะ:= Z ใน