Demostración de suficiencia