Los siguientes tres enunciados son equivalentes: