4 For he has spoken somewhere about the seventh [day] in this way: "And God rested on the seventh day from all his works,"