What (not-often-seen) theorem about quadrilaterals is dynamically being illustrated in the applet below?