Esperanto Lingvoj Fakoj ktp.
MAT

konjekto 2

vidu

→ aksiomo 2

→ demonstri

→ teoremo