new proofs of lemma 3

Signed-off-by: Maxim Limonov <matemaks@ya.ru>