we have AB = BC