Hebrews 4:8

4:8 For if Joshua had given them rest, he would not have spoken afterward of another day.
-World English Bible

Other Translation

4:8 For if Jesus had given them rest, then would he not afterward have spoken of another day.
-King James Version