Demostrado: