PanLinx
русский
rus-000
теоретический контрпример
English
eng-000
theoretical counterexample
PanLex
