展开 什么是基本事实和定理的区别