Clasificación de técnicas de demostración: como el método constructivo y el método por contradicción.