The conclusion given is practical and the proof is constructive.
所给结论是实用的，证明是构造性的。
youdao
应用推荐
模块上移
模块下移
不移动