14
يتبع هذا من ملحق
i
⊢
L
، مع
L
دالة التجميع و
i
دالة التضمين.