Alexander's sub-base theorem