The ruling on leaving the Friday prayer for one who has prayed the festival prayer

Question:
If the day of the festival falls on a Friday, and I have prayed the festival prayer, is it better for me to pray the Friday prayer or to make it up as the midday prayer?

Answer:
It is better to pray the Friday prayer as well, because the Messenger (peace and blessings be upon him) used to pray both the Friday prayer and the festival prayer. However, out of mercy, Allah allowed the one who attended the festival prayer to pray the Friday prayer if he wished, or to pray the midday prayer if he wished. The Prophet (peace and blessings be upon him) combined them; so if he prayed the Friday prayer with the people, it was better, so that he would obtain the reward of the Friday prayer and the listening to the sermon. He would pray the festival prayer and the midday prayer, and he did not pray the Friday prayer on the day of the festival because he had already prayed the festival prayer. This is the correct view, based on what the Sunnah brought from the Prophet (peace and blessings be upon him), that he showed mercy to the one who attended the festival by excusing him from the Friday prayer. But if he attended the Friday prayer and prayed it, it was better because of the great good in it. The Prophet (peace and blessings be upon him) would pray the Friday prayer and the festival prayer together, as al-Nu'man mentioned in a narration in the Sahih, saying that he used to recite in the Friday prayer and in the festival prayer. Sometimes they would coincide on the same day, and he would recite in both, in the festival prayer and the Friday prayer. This is a sound report.