Ángulos entre triángulos isósceles

Si el triángulo ABC es isósceles, con lado distinto BC, y tomamos un punto D cualquiera sobre BC y otro E sobre AC, de manera que el triángulo ADE también sea isósceles, entonces el ángulo CDE mide la mitad que el ángulo BAD.