What relationship is dynamically being illustrated in the applet below? How can this relationship formally be proven true?