add lemma about  extention ring, correct lemma 11

Signed-off-by: Maxim Limonov <matemaks@ya.ru>
Merge branch 'master' of https://github.com/matemax/exponent