For if (b) Jesus had given them rest, then would he not afterward have spoken of another day.
(b) He speaks of Joshua the son of Nun: and as the land of Canaan was a figure of our true rest, so was Joshua a figure of Christ.
Related Commentaries of Hebrews 4:8
Hebrews 4:8
8 For if Jesusb had given them rest, then would he not afterward have spoken of another day.