Proof Let A be an ideal of a BCC-algebra G. Let y ∈ d(A). Then y = d(x) for some x ∈ A. It follows that yx = d(x)x = 0 ∈ A, which implies y ∈ A. Thus d(A) ⊆ A. Hence A is d-invariant
พิสูจน์ให้ A จะเหมาะของการสำเนาลับถึงพีชคณิตกรัมให้y ∈ d(A) แล้ว y = d(x) สำหรับบาง x ∈อ. เป็นไปตามที่ yx = d (x) x = A 0 ∈ ซึ่งหมายถึง y ∈อ.จึงบล็อก d d(A) ⊆ A A. Hence
พิสูจน์ให้ A เป็นอุดมคติของ BCC พีชคณิตกรัมให้ y ที่∈ d (A) แล้ว y = d (x) สำหรับบาง x ∈ A. มันเป็นไปตามที่YX = d (x) x = 0 ∈ A, ซึ่งหมายถึง∈ Y A. ดังนั้น d (A) ⊆เอจึงเป็น D-คงที่