Add: Question 1 proof done.