Proposition 2. If (X; ∗, 1) is a BE

Proposition 2. If (X; ∗, 1) is a BE-algebra, then x ∗ (y ∗ x) = 1 for any x, y ∈ X.
Proof. Given x, y ∈ X, we have 1 = y ∗ 1 = y ∗ (x ∗ x) = x ∗ (y ∗ x), proving the
proposition.

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

2. ถ้าข้อเสนอ (X * 1) เป็น BE-พีชคณิตแล้ว X * (y * x) = 1 สำหรับ X ใด ๆ , y ∈เอ็กซ์
หลักฐาน ได้รับ x, y ∈ X เรามี 1 y = * 1 * y = (x * x) = x * (y * x) พิสูจน์
เรื่อง

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

ข้อเสนอที่ 2 ถ้า ( x ; ∗ , 1 ) คือเป็นพีชคณิตแล้ว∗ X ( Y ∗ x ) = 1 สำหรับ x , y ∈ Xพิสูจน์ ให้ x , y ∈ x เรามี 1 = Y Y ∗∗ 1 = ( x ∗ x ) = x ∗ ( Y ∗ x ) พิสูจน์ข้อเสนอ