He aquí el hecho: