幸運的是;幸虧
be a good thing (that)…
to be lucky that…
It's a good thing we got here early.幸虧我們早到了這兒。
釋義來自《牛津高階英漢雙解詞典》第 9 版