Если А∈a, В∈a, С∈АВ, то С … a.
Так как А принадлежит а и В принадлежит а. То если С принадлежит отрезку AB - то С принадлежит и а.