PanLinx
русский
rus-000
лемма об окрашивании дуг
English
eng-000
arc-coloring lemma
PanLex