展开 数域p上的n维线性空间都与pn同构