Hebreos 4

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

Porque si Josué les hubiera dado el reposo, no hablaría después de otro día.

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