数域P上两个有限维线性空间同构的充要条件是它们有相同的维数