PanLinx
русский
rus-000
локально-глобальная теорема
English
eng-000
local-global theorem
PanLex