[ doc ] Added info about typo in the paper proof of Proposition 2.