Rule 11
If A, B, C, D are Cyclic, then
¡Ï[ACB] = ¡Ï[ADB]