This theorem proves that every [totally bounded](/page/Totally%20Bounded) [metric space](/page/Metric%20Space) has a countable [dense subset](/page/Dense%20Subset). It builds separability by choosing finite nets at each scale and taking their countable union.