La implicación inversa puede demostrarse si se asume el axioma de elección (AE), o incluso una versión más débil como el axioma de elección numerable (AEN).