demostración de exnovas