demostrar teorema