What geometry theorem is being illustrated in the applet below? (Note: The lines that look parallel are parallel.)