模型 Lean 89 片段(2)