Characterisation of Finite Dimensionality by Compactness