A person starts prayer on pure doubt about whether the time has entered, then later learns that it had entered. What is the ruling taught here?

Prayer Conditions: Time, Intention, and the Opening Tahrimah

• The later discovery automatically makes the start valid.
• The prayer is not valid because the required belief of time-entry was absent at the start.
• Only the Sunnahs must be repeated.
• The prayer automatically becomes Qada.