ejemplos de implicación en matematicas