Alexander%27s sub-base theorem