4 For he has somewhere spoken of the seventh day in this way, "And God rested on the seventh day from all his works."