For the phrase “he rested on the seventh day from all the work that he had done,” see Hebrews 4:4.