In all other cases in which both methods are applicable, they must lead to the same result; for it can be shown, with the help of a simple theorem of the theory of dimension, that the dimension of a class must be greater than, or equal to, that of its subclasses.