Esperanto Lingvoj Fakoj ktp.
MAT

sufiĉa kondiĉo

vidu

→ implico 2

→ se 2