add even square numbers lemma