demostración de exnova