Reword proof of Lem. 6.