(خالدين فيها) حال من الضمير في لهم أي مقدار خلودهم فيها فإذا دخلوها.
(وعد الله حقاً) هما مصدران الأول مؤكد لنفسه أي: وعد الله وعداً،
