Circle theorems, live — drag the points, the invariant holds

Seven O-Level circle theorems as living diagrams. Pick one below, then drag the lettered points anywhere — the marked angles keep changing, but the theorem's equation never breaks.