基本事实与定理