夯实证明几何的基本功之一：命题和证明