如图,给出了过直线外一点作已知直线的平行线的方法,其依据是______.