By the unique line postulate, you can draw only one segment, . Using the definition of , reflect BC over l. By the definition of reflection, C is the image of itself and is the image of B. Since reflections preserve , AC = BC.