Then it is easily checked that d is

Then it is easily checked that d is both a
(l,r) and (r,l)-derivation of G and d* is a (r,l)-
derivation but not a (l,r)-derivation of G.

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

จาก นั้นได้ตรวจ d ที่เป็นทั้งการ(l, r) และ (r, l) -มา G และ d * จะเป็น (r, l) -มา แต่ไม่มี (l, r) -มากรัม

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

จากนั้นก็จะมีการตรวจสอบได้อย่างง่ายดายที่ d เป็นทั้ง
(ลิตร R) และ (R, L) -derivation ของ G และ D * เป็น (R, L) -
มา แต่ไม่ได้ (ลิตร R) ของ -derivation กรัม