Lemma $1\mathrm{.}4\mathrm{.}5-($x$+$y$)=(-$x$)+(-$y$)$