(وَسِيقَ الَّذِينَ اتَّقَوْا رَبَّهُمْ إِلَى الْجَنَّةِ زُمَرًا حَتَّى إِذا جاءُوها وَفُتِحَتْ أَبْوابُها وَقالَ لَهُمْ خَزَنَتُها سَلامٌ عَلَيْكُمْ طِبْتُمْ فَادْخُلُوها خالِدِينَ(73)
(حَتَّى) هي التي تحكى بعدها الجمل والجملة المحكية بعدها هي الشرطية، إلا أنّ جزاءها محذوف، وإنما حذف لأنه صفة ثواب أهل الجنة، فدل بحذفه على أنه شيء لا يحيط به الوصف، وحق موقعه ما بعد (خالدين) .
وقيل: حتى إذا جاءوها، جاءوها وفتحت أبوابها، أي مع فتح أبوابها.
وقيل: أبواب جهنم لا تفتح إلا عند دخول أهلها فيها.
وأما أبواب الجنة فمتقدّم فتحها، بدليل قوله (جَنَّاتِ عَدْنٍ مُفَتَّحَةً لَهُمُ الْأَبْوابُ) فلذلك جيء بالواو، كأنه قيل: حتى إذا جاءوها وقد فتحت أبوابها.