9. Точки A и B отразили относительно прямой. Получились точки A_1 и B_1. Докажите, что AB = A_1B_1.