- 寻找—证明—表达