minor edits to Theorem 1.1 on hw1