AB = AC