该文用数学归纳法证明了维数公式的推广形式。