Proof in the text
6.7K