a little better proof for addnA'