تختلف مراسلات كاري وهوارد بمجرد تطبيق تضمين موجود لإثبات الدعامة كما تفعل مع وظيفة