Al-Baqarah 2:193
وَقَاتِلُوهُمْ حَتَّىٰ لَا تَكُونَ فِتْنَةٌ وَيَكُونَ الدِّينُ لِلَّهِ ۖ فَإِنِ انتَهَوْا فَلَا عُدْوَانَ إِلَّا عَلَى الظَّالِمِينَ ١٩٣
Waqatiloohum hatta la takoona fitnatun wayakoona alddeenu lillahi faini intahaw fala AAudwana illa AAala alththalimeena
0:00
And keep fighting against them until the disruption and mischief is totally eliminated and the Din (Religion) practically becomes subservient to Allah alone (i.e., the system of the protection of peace, security and human rights is practically established). But if they desist, then offensive action is not permissible except against the wrongdoers (i.e., transgressors). (2:193)