高等代数欧氏空间证明这两个命题是等价的