Hola, la condición necesaria 'natural' para la afirmación

es

. Asumo que es en ésta que pensaste.
Tomando cualquier afirmación necesaria de ésta última, por transitiva también lo será para la original. Por ejemplo:

. Con esto obtenés dos condiciones necesarias para

:
Convence?
Saludos