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