Reshaped proof of dimension theory and some preceding results to be more
verbose and structured