then BC = BD.