Proof section 3 of Scribblr