Proof section 6 of Scribblr