详细释义
1.
可证明。