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