Duda sobre si es valida esta forma de demostrar