a^y = a^x [1 a^(y-x)] BE=BC CE=BC CA/2