初一数学平行线判定属于定理还是基本事实?