在n维空间里最多有几个两两互相垂直的向量?如何证明?