几何重数小于等于代数重数证明