Esperanto Lingvoj Fakoj ktp.
MAT

teoremo

vidu

→ aksiomo 2

→ demonstri

→ konjekto 2

→ korolario

→ lemo