" لَحَقٌّ " خَبَر إِنَّ وَ " تَخَاصُم " خَبَر مُبْتَدَإٍ مَحْذُوف بِمَعْنَى هُوَ تَخَاصُم . وَيَجُوز أَنْ يَكُون بَدَلًا مِنْ حَقّ . وَيَجُوز أَنْ يَكُون خَبَرًا بَعْد خَبَر . وَيَجُوز أَنْ يَكُون بَدَلًا مِنْ ذَلِكَ عَلَى الْمَوْضِع . أَيْ إِنَّ تَخَاصُم أَهْل النَّار فِي النَّار لَحَقٌّ . يَعْنِي قَوْلهمْ : " لَا مَرْحَبًا بِكُمْ " الْآيَة وَشِبْهه مِنْ قَوْل أَهْل النَّار .