Esperanto Lingvoj Fakoj ktp.
MAT

demonstro 2

difino

= pruvo 2

sinonimoj

⇒ pruvo 2