I want to know the following is well-known or not:

Let X be a metric space with Hausdorff dimension $\alpha$. 
Then for any $\beta < \alpha$, 
X contains a closed subset whose Hausdorff dimension is $\beta$.