PanLinx
русский
rus-000
арифметическая лемма
English
eng-000
arithmetical lemma
PanLex
