Proof: We are given that AB = 12 and AC = 6. Applying the segment addition property, we get AC + CB = AB. Applying the substitution property, we get 6 + CB = 12. The subtraction property can be used to find CB = 6. The symmetric property shows that 6 = AC. Since CB = 6 and 6 = AC, AC = CB by the property. So, AC ≅ CB by the definition of congruent segments. Finally, C is the midpoint of AB because it divides AB into two congruent segments.