O sea, no hay que demostrarlas de nuevo.