What phenomenon is dynamically being illustrated in the applet below? How can you formally prove what you see here?