高代中线性变换可以1对多吗?如何证明?