2.2 精确的代数证明