Ma'alim al-Tanzil (Tafsir al-Baghawi) — 3:139-140

قَالَ الزَّجَّاجُ: الدَّوْلَةُ تَكُونُ لِلْمُسْلِمِينَ عَلَى الْكُفَّارِ، لِقَوْلِهِ تَعَالَى: ﴿وَإِنَّ جُنْدَنَا لَهُمُ الْغَالِبُونَ﴾ وكانت ٧٠/أيَوْمَ أُحُدٍ لِلْكُفَّارِ عَلَى الْمُسْلِمِينَ لِمُخَالَفَتِهِمْ أَمْرَ رَسُولِ اللَّهِ ﷺ. قَوْلُهُ تَعَالَى: ﴿وَلِيَعْلَمَ اللَّهُ الَّذِينَ آمَنُوا﴾ يَعْنِي: إِنَّمَا كَانَتْ هَذِهِ الْمُدَاوَلَةُ ليعلم أي (أَيْ: لِيَرَى اللَّهُ) الَّذِينَ آمَنُوا فَيُمَيَّزُ الْمُؤْمِنُ مِنَ الْمُنَافِقِ، ﴿وَيَتَّخِذَ مِنْكُمْ شُهَدَاءَ﴾ يُكْرِمُ أَقْوَامًا بِالشَّهَادَةِ، ﴿وَاللَّهُ لَا يُحِبُّ الظَّالِمِينَ﴾