Pero antes A era posible; luego B es posible; luego siendo posible A, necesariamente B es posible si entre A y B hay una relación tal que, existiendo A, B necesariamente existe.