Los enunciados siguientes son equivalentes.