De otra manera, si la implicación "B" ⇒ "A" es verdadera, "A" es condición necesaria para "B", i.e.