Added a proof for one-plus-one paper