Highlight, read, change to prove in red, and answer