Esperanto Lingvoj Fakoj ktp.

propozicio 2.b

vidu

→ indukto 3

→ redukto al absurdo