proved prop, added remark about problem 1versus problem 2