Animation 269

What relationship is dynamically being illustrated in the applet below? How would you describe it in words? How can you formally prove it?
Cerrar

Información: Animation 269