PanLinx
eesti
ekk-000
kaudne tõestus
English
eng-000
indirect proof
PanLex