Rashi on Sanhedrin 95b:3 · רש"י על סנהדרין · free full Hebrew text
כי בא השמש - ויבא השמש לא נאמר אלא כי בא השמש דמשמע שהיה דעתו לחזור כי עוד היום גדול כיון שראה כי בא השמש לן:
ויזרח לו השמש - משמע השמש שהיה לו כבר שבא בשבילו כבר: