Esperanto Lingvoj Fakoj ktp.

demonstri

vidu

→ dedukti

→ konjekto 2

→ pruvi 1

→ teoremo