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