hoy se conoce como axioma de Huntington.