numbering of lemmas

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