extention ring and lemma 9

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