﴿ وَمَنْ أَرَادَ ٱلْءَاخِرَةَ وَسَعَىٰ لَهَا سَعْيَهَا وَهُوَ مُؤْمِنٌۭ فَأُو۟لَٰٓئِكَ كَانَ سَعْيُهُم مَّشْكُورًۭا ﴾

“But as for those who care for the [good of the] life to come, and strive for it as it ought to be striven for, and are [true] believers withal -they are the ones whose striving finds favour [with God]!”

And whoever desires the Hereafter and strives for it with the necessary effort that is he performs the deeds worthy of it being a believer wa-huwa mu’minun is a circumstantial qualifier — for such their effort will find favour with God that is their effort will be accepted and rewarded.