Now, we show that D is a (r, l)-der

Now, we show that D is a (r, l)-derivation of X. Then
D(x ∗ y) = x ∗ D(y)
= (x ∗ 0) ∗ D(y)
= (x ∗ (D(0) ∗ D(0)) ∗ D(y)
= (x ∗ ((x ∗ D(x)) ∗ (D(y) ∗ y))) ∗ D(y)
= (x ∗ ((x ∗ D(y)) ∗ (D(x) ∗ y))) ∗ D(y)
= (x ∗ D(y)) ∗ ((x ∗ D(y)) ∗ (D(x) ∗ y))
= (D(x) ∗ y) ∧ (x ∗ D(y)).
Therefore, D is a derivation of X.

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

ตอนนี้ เราแสดงว่า D เป็น (r, l) -มา x. อัพนั้นD (x ∗ y) = D(y) x ∗= D(y) (x ∗ 0) ∗= (x ∗ (D(0) ∗ D(0)) ∗ D(y)= (x ∗ ((D(x)) x ∗∗ (D(y) ∗ y))) ∗ D(y)= (x ∗ ((D(y)) x ∗∗ (D(x) ∗ y))) ∗ D(y)= (D(y)) x ∗∗ ((D(y)) x ∗∗ (D(x) ∗ y))= (D(x) ∗ y) ∧ (x ∗ D(y))ดังนั้น D คือการ มาของ X

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

ตอนนี้เราแสดงให้เห็นว่าเป็น D (R, L) -derivation ของเอ็กซ์แล้ว
D (x * y) = x * D (y)
= (x * 0) * D (y)
= (x * (D ( 0) * D (0)) * D (y)
= (x * ((x * D (x)) * (D (y) * y))) * D (y)
= (x * ((x * d (y)) * (D (x) * y))) * D (y)
= (x * D (y)) * ((x * D (y)) * (D (x) * y))
= (D (x) * y) ∧ (x * D (y)).
ดังนั้น D เป็นแหล่งที่มาของเอ็กซ์