Hebrews 4:8

8Ifεἰforγὰρto themαὐτοὺςJoshuaἸησοῦςhad given restκατέπαυσεν,notοὐκἂνaboutπερὶanotherἄλληςHe would have spokenἐλάλειafterμετὰthisταῦταdayἡμέρας.

For if Joshua had given them rest, He would not have spoken after this about another day.