El teorema de Hann-Banach no se apoya en el AE completo pero puede demostrarse usando una versión más débil del AE conocida como el lema del ultrafiltro.