A implicação:
é V.
De fato, se
então x é estritamente positivo.
é
V.
então x é estritamente positivo.
