Added Problem 2 statement and lemma statements