Theorem. A (r,l)-derivation d of a

Theorem. A (r,l)-derivation d of a BCC-algebra
G is regular.
Proof Since d is (r,l)-derivation of G, d(0) = d(0x)
= 0d(x) ∧ d(0)x = 0 ∧ d(0)x = (d(0)x)((d(0)x)(0))=
(d(0)x)(d(0)x)=0. #
Corollary

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

ทฤษฎีบท เป็น (r, l) -มา d ของ BCC-พีชคณิตG คือปกติเป็นหลักฐานตั้งแต่ d (r, l) -มาของ G, d(0) = d(0x)= 0d(x) ∧ d (0) x = 0 ∧ d (0) x = (d(0)x)((d(0)x)(0)) =(d(0)x) (d (0) x) = 0 #Corollary

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

ทฤษฎีบท. A (R, ลิตร) -derivation d ของ BCC พีชคณิต
G เป็นปกติ.
หลักฐานตั้งแต่งเป็น (R, L) -derivation ของ G, d (0) = d (0 x)
= 0 วัน (x) ∧ d (0 ) x = 0 ∧ d (0) x = (ง (0) x) ((ง (0) x) (0)) =
(d (0) x) (ง (0) x) = 0 #
ควันหลง