Hebrews 4.8

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