المحرر الوجيز في تفسير الكتاب العزيز لابن عطية - ابن عطية  
{إِنَّ رَبَّكَ هُوَ أَعۡلَمُ بِمَن ضَلَّ عَن سَبِيلِهِۦ وَهُوَ أَعۡلَمُ بِٱلۡمُهۡتَدِينَ} (7)

وقوله تعالى : { إن ربك هو أعلم بمن ضل } الآية ، وعيد ، والعامل في قوله : { بمن ضل } ، { أعلم } وقد قواه حرف الجر ، فلا يحتاج إلى إضمار فعل .