For He has spoken somewhere about the seventh [day] thus: “And God rested on the seventh day from all His works.”