Praise be to Allaah.
If he enters the mosque and prays Sunnat
al-Fajr, this is sufficient and he does not have to pray Tahiyyat al-Masjid. If he makes
the intention of praying both, then that is fine.
And Allaah is the source of strength. May Allaah bless our
Prophet Muhammad and his family and companions.