Esta versión un tanto reduccionista es claramente equivalente al enunciado original.