Esperanto Lingvoj Fakoj ktp.
MAT

redukto al absurdo

vidu

→ propozicio 2.b

→ pruvi 3

→ pruvo per redukto al absurdo