Added "proof" for problem 1.