Hebrews 4.8

8. For if Joshua had given them rest, then He would not afterward have spoken of another day.