Alexander's subbase theorem