维数公式证明题