《义务教育数学课程标准(2011年版)》设定了九条基本事实，下列属于基本事实的是（ ）。
两条平行线被一条直线所截，同位角相等
两平行线间距离相等
两条平行线被一条直线所截，内错角相等
两直线被平行线所截，对应线段成比例
解析：九条基本事实分别为：①两点确定一条直线；②两点之间线段最短；③过一点有且只有一条直线与已知直线垂直；（多两条直线被第三条直线所截，如果同位角相等，那么两直线平行；⑤过直线外一点有且只有一条直线与这条直线平行；⑥两边及其夹角分别相等的两个三角形全等；⑦两角及其夹边分别相等的两个三角形全等；⑧三边分别相等的两个三角形全等；⑨两条直线被一组平行线所截，所得的对应线段成比例。