PanLinx
русский
rus-000
регрессивное доказательство
English
eng-000
regressive proof
PanLex
