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