Esperanto Lingvoj Fakoj ktp.
MAT

indukto 3

vidu

→ propozicio 2.b

→ pruvi 3

→ pruvo per indukto