PanLinx
português
por-000
teorema de inserção
English
eng-000
theorem-instance
PanLex