For he has said somewhere about the seventh day like this, "God rested on the seventh day from all his works;"