PanLinx
فارسی
pes-000
قضیۀ قرعیه
English
eng-000
corollary
PanLex