Not only can the watermarks be deleted easily. They might also get deleted accidentally by some post-processing like tokenization for grammar and spellchecking.

Not only can the watermarks be deleted easily. They might also get deleted accidentally by some post-processing like tokenization for grammar and spellchecking. Also, I think 3.1 and the following proof is pseudo-formalism. A simple sentence that explains the reason is enough.