PanLinx
Deutsch
deu-000
einem Lehrsatz nachweisen
čeština
ces-000
dokázat poučku
Esperanto
epo-000
pruvi tr teoremon
PanLex