Theorem in Section 5 fixed
merging .aux,.log, and .pdf
compiled pdf after merging