Animation 104

What corollary (or theorem) is dynamically being illustrated in the applet below? And what BIGGER THEOREM causes this corollary to literally be an immediate (and obvious) consequence? (Feel free to move any of the white points at any time!)