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