维数公式的证明过程怎么写的