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