Teorema de demostración [TD]