For he has spoken somewhere about the seventh day in this way: “And God rested on the seventh day from all his works,”