Esperanto Lingvoj Fakoj ktp.
MAT

se 2

vidu

→ implico 2

→ propozicio 2.a

→ sufiĉa kondiĉo