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