已知直线EF及其外一点B，过B点作AB∥EF，过B点作BC∥EF，点A，C分别为直线AB，BC上任意一点，那么A，B，C三点一定在同一条直线上，依据是 .